7

Reachability in live and safe free-choice Petri nets is NP-complete

Year:
1998
Language:
english
File:
PDF, 887 KB
english, 1998
20

Fast Healing after Laser Skin Resurfacing

Year:
1997
File:
PDF, 1.01 MB
1997
21

Wound Care after Laser Skin Resurfacing

Year:
1998
Language:
english
File:
PDF, 300 KB
english, 1998
36

Petri Nets and Regular Processes

Year:
1999
Language:
english
File:
PDF, 364 KB
english, 1999
38

Traps characterize home states in free choice systems

Year:
1992
Language:
english
File:
PDF, 1.01 MB
english, 1992
39

A polynomial-time algorithm to decide liveness of bounded free choice nets

Year:
1992
Language:
english
File:
PDF, 1.27 MB
english, 1992
40

Reachability in cyclic extended free-choice systems

Year:
1993
Language:
english
File:
PDF, 1.54 MB
english, 1993
41

Complexity results for 1-safe nets

Year:
1995
Language:
english
File:
PDF, 1.28 MB
english, 1995
42

Trapping mutual exclusion in the box calculus

Year:
1996
Language:
english
File:
PDF, 2.27 MB
english, 1996